Browsing by Subject "Reachability analysis"

Now showing items 1-3 of 3

    • Conference Object  

      Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2007)
      This paper considers bounded Petri nets with both controllable and uncontrollable transitions, and addresses the synthesis of a fault-tolerant supervisor in a setting where the control specifications are described via ...
    • Article  

      Process ordering in a process calculus for spatially-explicit ecological models 

      Philippou, Anna; Toro, Mauricio (2014)
      In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...
    • Conference Object  

      Reachability analysis for a class of petri nets 

      Ru, Y.; Hadjicostis, Christoforos N. (2009)
      In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly) monotone Petri net, an initial marking ...